Nichtklassische Logiken und deren Komplexität

Projektleitung und Mitarbeiter

Hudelmaier, J. (Dr. rer. nat.)

Mittelgeber : DFG

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Das Problem der Komplexität von linearen und intuitionistischen Logiken sowie von Modallogiken wurde untersucht. Insbesondere wurde eine Hierarchie von Fragmenten der intuitionistischen Logik beschrieben, die parallel ist zur in der Komplexitätstheorie entwickelten polynomialen Hierarchie. Ferner wurden die Untersuchungen zu kontraktionsfreien Logiksystemen, die für das automatische Theorembeweisen von besonderer Wichtigkeit sind, fortgesetzt, insbesondere mit einer Entwicklung eines kontraktionsfreien Kalküls für die Modallogik S4.

Publikationen

Hudelmaier, J.: An n log n-Space decision procedure for intuitionistic propositional logic. J. Logic Comput. 3, 63 75 (1993).

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise